Knihy od autora Jim Woodcock

Zobrazené 1 – 14 z 14 výsledkov

1. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   Skladom u dodávateľa - Odosielame za 8 - 11 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   123.38 €

   Zľava 7 %

   Ušetríte 10.32 €

   Kúpiť
2. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
3. 

   Theoretical Aspects of Computing -- ICTAC 2013

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
4. 

   Formal Methods: Foundations and Applications

   Marcel Vinícius Medeiros Oliveira, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Unifying Theories of Programming and Formal Engineering Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
6. 

   Theoretical Aspects of Computing

   Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.97 €

   Kúpiť
7. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.77 €

   Kúpiť
8. 

   Software Engineering for Robotics

   Brijesh Dongol, Jim Woodcock, Jon Timmis, Rob Hierons | Springer Nature Switzerland AG, 2021

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   123.38 €

   Zľava 7 %

   Ušetríte 10.32 €

   Kúpiť
9. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.63 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
10. 

    Verified Software: Theories, Tools, Experiments

    Bertrand Meyer, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    102.86 €

    Zľava 7 %

    Ušetríte 8.62 €

    Kúpiť
11. 

    Formal Methods and Software Engineering

    Jin Song Dong, Jim Woodcock | Springer, Berlin, 2003

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    102.86 €

    Zľava 7 %

    Ušetríte 8.62 €

    Kúpiť
12. 

    Verified Software: Theories, Tools, Experiments

    Natarajan Shankar, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63 €

    Zľava 7 %

    Ušetríte 4.28 €

    Kúpiť
13. 

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.77 €

    Kúpiť
14. 

    Dependable Software Engineering. Theories, Tools, and Applications

    Wenhui Zhang, Jim Woodcock | Springer Nature Switzerland AG, 2021

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    77.19 €

    Zľava 7 %

    Ušetríte 6.50 €

    Kúpiť

Orientačné termín doručenia vidíte priamo v detaile knihy. Zistite viac